Poisson distribution derivation